b11fd9bef87a31ac10fed3fda32e6b6fd1c21752,IdeaPlugin/mps-core/jps-plugin/src/jetbrains/mps/jps/build/MPSMakeMediator.java,MPSMakeMediator,build,#,116

Before Change


      reportError(e);
      success = false;
    } catch (ExecutionException e) {
      reportError(e);
      success = false;
    }

After Change


      success = res.get().isSucessful();
      success = processFiles(success, makeFacetConfiguration);
    } catch (InterruptedException e) {
      reportError("Error while make", e);
      success = false;
    } catch (ExecutionException e) {
      reportError("Error while make", e);